🛠 Language Design

Type Systems, Compiler Theory, Syntax Evolution, Memory Models, Syntax Creation, Parser Design, Domain Languages, Programming Paradigms

Thinking in Hoses and Wires, Not Bolted Gears (Protocol-Driven Development)
github.com·7h·
Discuss: Hacker News
🌐Protocol Synthesis
Merge-based syntax is mediated by distinct neurocognitive mechanisms: A clustering analysis of comprehension abilities in 84,000 individuals with language defic...
arxiv.org·18h
🔤Morphological Analysis
Vibe coding to Chomksy: will linguistics pop off in a world full of prompting?
aymannadeem.com·5h·
Discuss: Hacker News
💻Programming languages
Design Arts Medias | Designing with Abstractions: CSS and the Case of Masonry Layouts
journal.dampress.org·1d
📖Nordic Typography
An easy-to-implement, arena-friendly hash map
nullprogram.com·51m·
Discuss: Lobsters
🔐Hash Functions
Cactus Language • Pragmatics 9
inquiryintoinquiry.com·2d
📝Concrete Syntax
Introductory Computer Science and Software Engineering Topics
albertyw.com·2d
🔩Systems Programming
Context Engineering — A Comprehensive Hands-On Tutorial with DSPy
towardsdatascience.com·18h
✨Effect Handlers
What's New in C# 14: User-Defined Compound Assignments
blog.ivankahl.com·1d·
Discuss: Hacker News
🦀Rust Macros
How the Lean language brings math to coding and coding to math
amazon.science·1d·
Discuss: Hacker News
🔬Lean
Why Computer Science Is No Good, Redux
cacm.acm.org·1d
🎯Performance Proofs
C and VLAs (Variable Length Arrays)
subethasoftware.com·4h
🔩Systems Programming
How To Solve Every Programming Problem
blog.codeminer42.com·3h
📐Interval Arithmetic
Talk Highlights: Documenting the Design of the Linux Kernel – Chuck Wolber, The Boeing Company; Kate Stewart, The Linux Foundaiton; Gabriele Paoloni, Red Hat
elisa.tech·15h
📜Proof Carrying Code
Challenges of Pseudocode Expansion
funcall.blogspot.com·2d·
Discuss: www.blogger.com
🔗Lisp
Software Internals Book Club
eatonphil.com·1d
⚙️Operating System Design
Beyond words: Study maps the cognitive force of metaphor
phys.org·6h
🔢Denotational Semantics
Automated Code Repair for C/C++ Static Analysis Alerts
arxiv.org·18h
📊Static Analysis
Arenas in Rust
russellw.github.io·20h·
Discuss: Hacker News
🦀Rust Borrowing
New Features Everywhere: Launching Version 14.3 of Wolfram Language & Mathematica
writings.stephenwolfram.com·1d·
Discuss: Hacker News
💧Liquid Types